Jorge Acevedo's Documents

Jorge Acevedo's Documents

Rigorous Software Development: An Introduction to Program Verification

Rigorous Software Development: An Introduction to Program Verification
Read more
Human-Computer Interaction - INTERACT 2011 - Part III (Lecture Notes in Computer Science)

Human-Computer Interaction - INTERACT 2011 - Part III (Lecture Notes in Computer Science)
Read more
Best Methods of Railway Restructuring and Privatization

Best Methods of Railway Restructuring and Privatization
Read more
Berkeley Problems in Mathematics

Berkeley Problems in Mathematics
Read more
Progresos en macroeconomía

Progresos en macroeconomía
Read more
Food Engineering Interfaces

Food Engineering Interfaces
Read more
Achegas à construção do Pensamento Jornalístico Português

Achegas à construção do Pensamento Jornalístico Português
Read more
Anatomia Neurologica con Orientacion Clinica

Anatomia Neurologica con Orientacion Clinica
Read more
Graph Theory in Paris (Trends in Mathematics)

Graph Theory in Paris (Trends in Mathematics)
Read more
Mathematical Modeling Approaches for Optimization of Chemical Processes

Mathematical Modeling Approaches for Optimization of Chemical Processes
Read more
Identity, Memory, and Diaspora: Voices of Cuban-American Artists, Writers, and Philosophers (S U N Y Series in Latin American and Iberian Thought and Culture)

Identity, Memory, and Diaspora: Voices of Cuban-American Artists, Writers, and Philosophers (S U N Y Series in Latin American and Iberian Thought and Culture)
Read more
Semigroups and Formal Languages: Proceedings of the International Conference, in Honour of the 65th Birthday of Donald B. Mcalister

Semigroups and Formal Languages: Proceedings of the International Conference, in Honour of the 65th Birthday of Donald B. Mcalister
Read more
Berkeley Problems in Mathematics

Berkeley Problems in Mathematics
Read more
Semigroups and Formal Languages: Proceedings of the International Conference

Semigroups and Formal Languages: Proceedings of the International Conference
Read more
Human-Computer Interaction - INTERACT 2011 - Part IV (Lecture Notes in Computer Science)

Human-Computer Interaction - INTERACT 2011 - Part IV (Lecture Notes in Computer Science)
Read more
Don't Fix, Don't Float: The Exchange Rate in Emerging Markets, Transition Economies, and Developing Countries (Development Centre Studies)

Don't Fix, Don't Float: The Exchange Rate in Emerging Markets, Transition Economies, and Developing Countries (Development Centre Studies)
Read more
Environmental Chemistry: Microscale Laboratory Experiments

Environmental Chemistry: Microscale Laboratory Experiments
Read more
Berkeley Problems in Mathematics

Berkeley Problems in Mathematics
Read more
Derecho procesal penal : la realizacion penal Tomo II

Derecho procesal penal : la realizacion penal Tomo II
Read more
Environmental Chemistry: Microscale Laboratory Experiments

Environmental Chemistry: Microscale Laboratory Experiments
Read more
Policy Technologies for Self-Managing Systems

Policy Technologies for Self-Managing Systems
Read more
Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings

Computational Processing of the Portuguese Language: 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings
Read more
Berkeley problems in mathematics

Berkeley problems in mathematics
Read more
Graph Theory in Paris. Proc. conf. in memory of Berge

Graph Theory in Paris. Proc. conf. in memory of Berge
Read more
Tipificación del femicidio en Chile. Un debate abierto (Femicide's typification in Chile. An open debate)

Tipificación del femicidio en Chile. Un debate abierto (Femicide's typification in Chile. An open debate)
Read more
Computational and Group Theoretical Methods in Nuclear Physics. Proc.Symp.honor J.P.Draayer's 60th, Playa del Carmen,Mexico,2003

Computational and Group Theoretical Methods in Nuclear Physics. Proc.Symp.honor J.P.Draayer's 60th, Playa del Carmen,Mexico,2003
Read more
Computational Modeling of Objects Represented in Images: Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings ... Vision, Pattern Recognition, and Graphics)

Computational Modeling of Objects Represented in Images: Second International Symposium, CompIMAGE 2010, Buffalo, NY, USA, May 5-7, 2010. Proceedings ... Vision, Pattern Recognition, and Graphics)
Read more
António Rodrigues Sampaio: jornalista (e) político no Portugal oitocentista

António Rodrigues Sampaio: jornalista (e) político no Portugal oitocentista
Read more
III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering: Book of Abstracts

III European Conference on Computational Mechanics: Solids, Structures and Coupled Problems in Engineering: Book of Abstracts
Read more
Ciencia, cyborgs y mujeres: La reinvención de la naturaleza

Ciencia, cyborgs y mujeres: La reinvención de la naturaleza
Read more